On the Dynamics of Default Reasoning
نویسنده
چکیده
Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behaviour appears when changes to a default theory are made. This paper studies the dynamic behaviour of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.
منابع مشابه
Investigating The Asymmetric Effects of Macroeconomic Variables on Bank Default Rates During High and Low Default Periods
In recent decades, the high rate of inflation has been one of the concerns of Iran's economy, and one of the main causes of inflation has been the imbalance of banks. The level of non-current claims of banks has been increasing due to the economic recession, credit facilities and the lack of optimal allocation of facilities, and therefore it has unbalanced the balance sheets of banks, hence the...
متن کاملA Modal Logic for Nonmonotonic Reasoning
An epistemic logic for defeasible reasoning using a meta-level architecture methaphor. Default theories of Poole-type and a method for constructing cumulative versions of default logic. In this paper we semantically investigated default reasoning from a dynamic, agent-oriented point of view. In order to do this we deened actions that model the reasoning by default of an agent. Execution of an a...
متن کاملOccupational Therapists\' Clinical Reasoning: A Qualitative Study
Objectives: Clinical reasoning is at the heart of clinical work; it is affected by different field factors. A clear understanding of the reasoning process could solve practitioners' problems on how to make their underlying theories, assumptions and values more explicit. The aim of this research is to understand how clinical reasoning process is formed in the context of occupational therapists w...
متن کاملDefault Logic and purity of reasoning
Foreword Ray Reiter has worked out Default Logic during his sabbatical leave in 1979, at Imperial College in London. The paper on Default Logic then appeared in the landmark issue of the Artificial Intelligence Journal on " Commonsense Reasoning " [1]. A vast literature flourished from Ray's initial proposal, and after 20 years, it is still studied and used in many fields of Artificial Intellig...
متن کاملThe Effect of Macroeconomic Variables on Credit Default Cycles in the Country's Monetary Market
The main challenge facing the country's banking system is credit default or the possibility of defaulting borrowers from fulfilling their obligations to the banking system, known as credit risk. Therefore to control credit risk, the factors influencing this type of risk must be identified. Several factors affect credit default in the non-government sector. This study examines the asymmetric ef...
متن کامل